// Tis is a dummy file to include do_printf...
#ifdef __cplusplus
extern "C" {
#endif
#include <stdarg.h> /* va_list, va_start(), va_end() */
#include <string.h> /* NULL */
#include <x86.h> /* disable() */
#include <_printf.h>
#include "_krnl.h" /* regs_t */
#ifdef __cplusplus
}
#endif

/***************************************************/

static int kprintf_help(unsigned c, void **ptr)
{
        putch(c);
        return 0;
}
/*****************************************************************************
*****************************************************************************/

void kprintf(const char *fmt, ...)
{
        va_list args;

        va_start(args, fmt);
        (void)do_printf(fmt, args, kprintf_help, NULL);
        va_end(args);
}

